1. Forms/Format 2010 :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formal methods (Computer science), Congresses.,System safety, Congresses.,Transportation-- Safety measures-- Data processing, Congresses.

رده :
TA1005
.
F67
2011